x11: Don't generate GDK_DESTROY events

GTK does not differentiate between GDK_DESTROY and GDK_DELETE
anyway.

diff --git a/gdk/x11/gdkdisplay-x11.c b/gdk/x11/gdkdisplay-x11.c
index 1440eab426417521f60ffef040fcc2480b3a3c03..342c1b2afbf77408d307da54998954b7e9543d40 100644 (file)
--- a/gdk/x11/gdkdisplay-x11.c
+++ b/gdk/x11/gdkdisplay-x11.c
@@ -831,7 +831,8 @@ gdk_x11_display_translate_event (GdkEventTranslator *translator,
 
       if (!is_substructure)
        {
-         event->any.type = GDK_DESTROY;
+          /* handle destroy like delete */
+         event->any.type = GDK_DELETE;
          event->any.surface = surface;
 
          return_val = surface && !GDK_SURFACE_DESTROYED (surface);